Kleene's recursion theorem
クリーネの再帰定理
Denotational semantics, where another least fixed point theorem is used for the same purpose as the first recursion theorem.
Fixed-point combinators, which are used in lambda calculus for the same purpose as the first recursion theorem.
Diagonal lemma a closely related result in mathematical logic
/suto3/google.iconKleene's recursion theorem
image Kleene's recursion theorem
define Kleene's recursion theorem
wikipedia Kleene's recursion theorem
weblio Kleene's recursion theorem
kotobank Kleene's recursion theorem
jisho Kleene's recursion theorem